// by shawn
#include  "c_bfm_dpi.h"
void REG_WRITE(U32 _addr, U32 _data){
    reg_write(_addr, _data);
}

U32 REG_READ(U32 _addr){
  U32 _data; 
  __reg_read(_addr, &_data);
  return _data;
}
